workspace: Remove unused includes and constants

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 57a7de418a4204fdbb7c9959e9617d9128254104..be1407d90860346d0f158242c498dc70cc772252 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -10,19 +10,14 @@ const St = imports.gi.St;
 const Signals = imports.signals;
 
 const DND = imports.ui.dnd;
-const Lightbox = imports.ui.lightbox;
 const Main = imports.ui.main;
 const Overview = imports.ui.overview;
-const Panel = imports.ui.panel;
 const Tweener = imports.ui.tweener;
 
-const FOCUS_ANIMATION_TIME = 0.15;
-
 const WINDOW_DND_SIZE = 256;
 
 const WINDOW_CLONE_MAXIMUM_SCALE = 0.7;
 
-const LIGHTBOX_FADE_TIME = 0.1;
 const CLOSE_BUTTON_FADE_TIME = 0.1;
 
 const DRAGGING_WINDOW_OPACITY = 100;